Study on Slicing Characteristics of Vibratory OD-blade Slicing
نویسندگان
چکیده
منابع مشابه
Slicing the SCAM Mug: A Case Study in Semantic Slicing
In this paper we describe an improved formalisation of slicing in WSL transformation theory and apply the result to a particularly challenging slicing problem: the SCAM mug [1]. We present both syntactic and semantic slices of the mug program and give semantic slices for various generalisations of the program. Although there is no algorithm for constructing a minimal syntactic slice, we show th...
متن کاملEffective Slicing: A Generalization of Full and Relevant Slicing
? x x = 2; if (y == 2) y = 2; effective slice{2,3} in forming correct unions of slices potential dependences must be taken into account only when the potential statement is executed in some other slice effective slicing algorithm a relevant slicing algorithm abstracted over a set, !, of potential statements: effective(P, ", !) effective(P, ", ∅) = full(P, ") effective(P, ", P) = relevant(P, ") ...
متن کاملProgram Slicing
The concept of static program slicing was first introduced by Weiser. Ottenstein et al. indicated that an intraprocedural slice can be found in linear time by traversing a suitable graph representation of the program referred to as the program dependence graph (PDG). Horwitz et al. introduced algorithms to construct interprocedural slices by extending the program dependence graph to a supergrap...
متن کاملOn Slicing a Distributed Computation
We introduce the notion of a slice of a distributed computation. A slice of a distributed computation with respect to a global predicate is a computation which captures those and only those consistent cuts of the original computation which satisfy the global predicate. We show that a slice exists for a global predicate iff the predicate is a regular predicate. We then give an efficient algorith...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Japan Society for Precision Engineering
سال: 2007
ISSN: 0912-0289,1882-675X
DOI: 10.2493/jjspe.73.1142